منابع مشابه
Black Box Techniques for Debugging Unsatisfiable Concepts
Now that OWL is a W3C Recommendation, one can expect that a much wider community of users and developers will be exposed to the expressive description logic SHIF(D) and SHOIN(D) which are the basis of OWL-DL. These users and developers are likely not to have a lot of experience with knowledge representation (KR), much less logic-based KR, much less description logic based KR. For such people, h...
متن کاملBlack Box Debugging of Unsatisfiable Classes
Determining the cause of concept unsatisfiability in an ontology axiomatized in an expressive description logic is a difficult task. As the ontology grows larger and more complex, modelers may be driven to underconstrain their concepts in order to avoid problems. Part of the difficulty in correcting satisfiability bugs lies in the poverty of tool support – typically, reasoners only report that ...
متن کاملKnowledge Extraction from the Neural ‘Black Box’ in Ecological Monitoring
Phytoplankton biomass within the Saginaw Bay ecosystem (Lake Huron, Michigan, USA) was characterized as a function of select physical/chemical indicators. The complexity and variability of ecological systems typically make it difficult to model the influences of anthropogenic stressors and/or natural disturbances. Here, Artificial Neural Networks (ANNs) were developed to model chlorophyll a con...
متن کاملDebugging the Black-Box COMPAS Risk Assessment Instrument to Diagnose and Remediate Bias
The black-box Correctional Offender Management Profiling for Alternative Sanctions (COMPAS) criminal risk assessment instrument (RAI) is analyzed for confounding racial bias and a novel procedure is proposed for remediating bias from individual criminal risk predictions. A repeatable global versus local analysis motif is introduced in which global and local model behavior are compared to debug ...
متن کاملBeyond the black box
As developers of SageMath, we show how open software facilitates corrections. “Commercial computer algebra systems are black boxes, and their algorithms are opaque to the users,” complained a trio ofmathematicianswhose “misfortunes” are detailed in a recent Notices article [2]. “We reported the bug on October 7, 2013...By June 2014, nothing had changed ...All we could do was wait.”
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cancer Discovery
سال: 2017
ISSN: 2159-8274,2159-8290
DOI: 10.1158/2159-8290.cd-17-0070